is_node(t) == Case(t) Case x;y => true Default => false 

latex

Definitions	is_node(t), Case(value) body, Case x;y => body(x;y) cont, true, Default => body, false
FDL editor aliases	is_node